l\_interval($l$;$j$;$i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mklist($i$ {-} $j$;$\lambda$$x$.$l$[($j$+$x$)])